Элементарные дифференциальные уравнения и краевые задачи: Основы: от метода разделения переменных до оператора Штурма-Лиувилля

Теория Штурма-Лиувилля (S-L) возникает как математический мост между физическими законами сохранения — описывающими явления, такие как колеблющиеся струны и электрическая передача энергии — и формальным языком линейных операторов. Применяя второй закон Ньютона к бесконечно малому элементу $\Delta x$ и используя метод разделения переменных, мы преобразуем конкретные частные дифференциальные уравнения (ПДУ) в обобщённую формулировку обыкновенного дифференциального уравнения (ОДУ): $(p(x)X')' - q(x)X + \lambda r(x)X = 0$.

Физика движения: от струн к уравнениям

Закон Ньютона, применяемый к элементу $\Delta x$ струны, гласит, что суммарная внешняя сила, вызванная натяжением на концах элемента, должна быть равна произведению массы элемента на ускорение его центра масс: $\rho \Delta x u_{tt}(\bar{x}, t)$.

Разложение натяжения $T$ на горизонтальную $H$ и вертикальную $V$ составляющие (как показано на Рисунке 10.Б.1), мы устанавливаем равновесие и движение:

Горизонтальное равновесие: $T(x + \Delta x, t) \cos(\theta + \Delta \theta) - T(x, t) \cos \theta = 0$ (что даёт постоянное значение $H$).
Вертикальное движение: $\frac{V(x + \Delta x, t) - V(x, t)}{\Delta x} = \rho u_{tt}(\bar{x}, t)$, что приводит к соотношению градиента $V_x(x, t) = \rho u_{tt}(x, t)$.
Распространение волн: Подстановка $V(x, t) = H(t) \tan \theta \approx H(t) u_x(x, t)$ приводит к $H u_{xx} = \rho u_{tt}$, или стандартному волновому уравнению для одной пространственной размерности: $a^2 u_{xx} = u_{tt}$, где $a^2 = \frac{T}{\rho}$ — это скорость волны.

Уравнение телеграфа и его обобщение

В реальных системах редко бывает идеальность. Они включают вязкое демпфирующее усилие ($-c u_t$) и упругую восстанавливающую силу ($-k u$). Это приводит к уравнению телеграфа:

$$u_{tt} + c u_t + k u = a^2 u_{xx} + F(x, t)$$

Уравнение телеграфа также описывает поток напряжения или тока в линии передачи (отсюда и название); в этом случае коэффициенты связаны с электрическими параметрами линии. Расширение этого уравнения на более высокие размерности даёт нам $a^2(u_{xx} + u_{yy}) = u_{tt}$ или $a^2(u_{xx} + u_{yy} + u_{zz}) = u_{tt}$.

Происхождение оператора Штурма-Лиувилля

Когда мы применяем метод разделения переменных ($u = X(x)T(t)$) к обобщённому уравнению, например $r(x) u_t = (p(x) u_x)_x - q(x) u$, мы получаем отношение, равное постоянной разделения $-\lambda$:

Шаг разделения

$$\frac{T'}{T} = \frac{(p(x) X')'}{r(x) X} - \frac{q(x)}{r(x)} = -\lambda$$

Полученные ОДУ

Это заставляет временной компонент удовлетворять уравнению $T' + \lambda T = 0$, а пространственный компонент — основной форме Штурма-Лиувилля:

$$(p(x) X')' - q(x)X + \lambda r(x)X = 0$$

🎯 Основной принцип

Оператор Штурма-Лиувилля $L[y] = -(p(x)y')' + q(x)y$ выступает универсальным инструментом для описания пространственных динамик. Независимо от того, начинаем ли мы с теплопроводности ($\alpha^2 u_{xx} = u_t$) или колебаний струн ($a^2 u_{xx} = u_{tt}$), пространственная часть $X(x)$ всегда сводится к задаче на собственные значения Штурма-Лиувилля.

ВОПРОС 1

Какие физические компоненты добавляются к волновому уравнению, чтобы превратить его в уравнение телеграфа?

Гравитация и трение

Вязкое демпфирующее усилие и упругая восстанавливающая сила

Центростремительная сила и термическое расширение

Магнитный поток и кинетическое давление

ВОПРОС 2

При выводе уравнения струны какое предположение позволяет выразить вертикальную составляющую $V$ через $H u_x$?

Струна бесконечно длинная

Вертикальное перемещение постоянно

Угол $\theta$ мал, так что $\sin \theta \approx \tan \theta \approx u_x$

Напряжение $T$ равно нулю на границах

ВОПРОС 3

Если мы разделим переменные $u(x,t) = X(x)T(t)$ для уравнения теплопроводности $\alpha^2 u_{xx} = u_t$, какое получается пространственное ОДУ?

$X'' + \lambda X = 0$

$X'' - \lambda X = 0$

$X' + \lambda X = 0$

$X''' + \lambda X = 0$

ВОПРОС 4

Что представляет собой постоянная разделения $\lambda$ в контексте задач Штурма-Лиувилля?

Физическая масса элемента

Собственное значение оператора Штурма-Лиувилля

Коэффициент демпфирования струны

Длина интервала $L$

ВОПРОС 5

Для линии передачи что определяет коэффициенты в уравнении телеграфа?

Скорость ветра и атмосферное давление

Электрические параметры, такие как сопротивление, индуктивность и ёмкость

Только длина провода

Цвет изоляции

Основные аналитические задачи

Проверка самосопряжённости и режимов сходимости

В1

ПРИМЕР 1: Покажите, что особая задача Штурма-Лиувилля с краевыми условиями, состоящая из дифференциального уравнения $xy'' + y' + \lambda xy = 0$, при которых обе функции $y$ и $y'$ остаются ограниченными при $x \to 0^+$, а также $\beta_1 y(1) + \beta_2 y'(1) = 0$, является самосопряжённой.

Модельное решение:
1. Перепишите ДУ в форме Штурма-Лиувилля: $(xy')' + \lambda xy = 0$, определив $p(x)=x$, $q(x)=0$, $r(x)=x$.
2. Для самосопряжённости граничный член в тождестве Лагранжа, $B[u,v] = [p(uv' - vu')]_0^1$, должен исчезнуть.
3. При $x=1$ граничное условие $\beta_1 y(1) + \beta_2 y'(1) = 0$ является стандартным регулярным условием Штурма-Лиувилля, которое заставляет член $(uv' - vu')|_{x=1} = 0$.
4. При $x=0$, $p(0)=0$. Поскольку в задаче указано, что $y$ и $y'$ ограничены при $x \to 0^+$, предел $\lim_{x \to 0^+} x(u(x)v'(x) - v(x)u'(x)) = 0 \times (\text{ограниченное значение}) = 0$.
5. Поскольку граничные члены исчезают на обоих концах, оператор является самосопряжённым.

В2

[Контекст чтения]: В этой задаче мы показываем, что сходимость последовательности $S_n(x)$ по точкам не подразумевает среднюю сходимость, и наоборот. Обсудите последствия этого для рядовых решений задач Штурма-Лиувилля. (Требуется 30–50 слов).

Модельный ответ:
Средняя сходимость ($L^2$-норма) обеспечивает глобальную согласованность энергии, что крайне важно для физического сохранения. Однако она не гарантирует, что $S_n(x)$ совпадает с $f(x)$ в каждой конкретной точке (например, на границах или разрывах), предупреждая нас о том, что разложения Штурма-Лиувилля могут демонстрировать локальные артефакты, такие как эффект Гиббса.